Skip to content

Fixup #13923 (help and documentation for --premium=misra-c-2025)#7588

Merged
danmar merged 1 commit intocppcheck-opensource:mainfrom
cppchecksolutions:fix-13923-2
Jun 12, 2025
Merged

Fixup #13923 (help and documentation for --premium=misra-c-2025)#7588
danmar merged 1 commit intocppcheck-opensource:mainfrom
cppchecksolutions:fix-13923-2

Conversation

@danmar
Copy link
Copy Markdown
Collaborator

@danmar danmar commented Jun 12, 2025

No description provided.

@danmar danmar requested a review from Copilot June 12, 2025 08:08
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR updates the documentation and CLI help messages to support and document the new Misra C 2025 checker and adds shorthand options for CERT C standards.

  • Added a new section in the manual to activate Misra C 2025 checkers and updated licensing information.
  • Updated the CLI parser to include new options ("cert-c" and "cert-c++") and added a corresponding entry in the help text for Misra C 2025.

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
man/manual-premium.md Added section for Misra C 2025 checkers and updated licensing info.
cli/cmdlineparser.cpp Included new certificate options and updated help message for Misra C 2025.
Comments suppressed due to low confidence (2)

man/manual-premium.md:1283

  • Consider providing a brief summary of the key differences between individual and enterprise licenses alongside the URL to help users quickly understand the changes.
Information about Cppcheck Premium licenses:

cli/cmdlineparser.cpp:1145

  • For consistency, consider adding brief descriptive comments for the 'cert-c' and 'cert-c++' options similar to the other options in the help output to enhance clarity.
"cert-c",

@danmar danmar merged commit d0c44c2 into cppcheck-opensource:main Jun 12, 2025
53 checks passed
@danmar danmar deleted the fix-13923-2 branch June 13, 2025 11:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants